Edward Yang - PDFSEARCH.IO - Document Search Engine

Edward Yang
Results: 34

#	Item
31	Edward Z. Yang 206 Rosse Ln 105 Stanford, CA[removed]removed] Education Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-04-22 03:57:06 Functional languages Compiler Compiler construction Programming language implementation Massachusetts Institute of Technology Haskell Simon Peyton Jones Software engineering Computing Computer programming
32	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
33	Response of Gregory Moore on the awarding of the 2014 Eisenbud Prize I am deeply honored, and not a little surprised, to be the sole recipient of the 2014 Eisenbud Prize. First and foremost I would like to thank my colla Add to Reading List Source URL: www.physics.rutgers.edu Language: English - Date: 2013-10-30 17:53:23 Theoretical physics Gauge theories String theory Edward Witten Conformal field theory Quantum field theory Quantum gravity Yang–Mills theory Instanton Physics Symmetry Mathematical physics
34	QUANTUM YANG–MILLS THEORY ARTHUR JAFFE AND EDWARD WITTEN Add to Reading List Source URL: www.claymath.org Language: English - Date: 2013-08-13 10:47:46 Yang–Mills existence and mass gap Yang–Mills theory Wightman axioms Quantum chromodynamics String theory Coupling constant Axiomatic quantum field theory Constructive quantum field theory Asymptotic freedom Physics Quantum field theory Gauge theory

UPDATE